\relax 
\ifx\hyper@anchor\@undefined
\global \let \oldcontentsline\contentsline
\gdef \contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}}
\global \let \oldnewlabel\newlabel
\gdef \newlabel#1#2{\newlabelxx{#1}#2}
\gdef \newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}}
\AtEndDocument{\let \contentsline\oldcontentsline
\let \newlabel\oldnewlabel}
\else
\global \let \hyper@last\relax 
\fi

\@input{title.aux}
\@input{abstract.aux}
\@writefile{toc}{\contentsline {chapter}{Abstract}{ii}{section*.1}}
\@input{Dedication.aux}
\@input{acknowledgement.aux}
\@writefile{toc}{\contentsline {chapter}{List of Tables}{v}{chapter*.3}}
\@writefile{toc}{\contentsline {chapter}{List of Figures}{vi}{chapter*.4}}
\@input{Introduction.aux}
\@input{PreviousWork.aux}
\citation{Barendregt}
\@writefile{toc}{\contentsline {chapter}{\numberline {3}$\pi $ Calculus}{7}{chapter.10}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Introduction}{7}{section.11}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}Syntax and Mobility}{8}{section.12}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.1}{\ignorespaces State 1}}{9}{figure.17}}
\newlabel{fig:2figsA}{{3.1}{9}{State 1\relax }{figure.17}{}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.2}{\ignorespaces State 2}}{9}{figure.18}}
\newlabel{fig:2figsB}{{3.2}{9}{State 2\relax }{figure.18}{}}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}An Example}{9}{section.16}}
\citation{Milner_book}
\@writefile{toc}{\contentsline {chapter}{\numberline {4}Methodology for JavaPict}{11}{chapter.19}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {4.1}$\pi $-calculus and object oriented paradigm}{11}{section.20}}
\@writefile{toc}{\contentsline {section}{\numberline {4.2}Software Transactional Memory(STM)}{12}{section.21}}
\citation{stm}
\citation{deuce}
\@writefile{toc}{\contentsline {section}{\numberline {4.3}JavaPict library}{14}{section.22}}
\@writefile{toc}{\contentsline {section}{\numberline {4.4}Usage}{14}{section.23}}
\@writefile{lof}{\contentsline {figure}{\numberline {4.1}{\ignorespaces Work-Flow example with JavaPict}}{15}{figure.24}}
\citation{FGJ}
\@writefile{toc}{\contentsline {chapter}{\numberline {5}Type Soundness Proof}{16}{chapter.25}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {5.1}Introduction}{16}{section.26}}
\@writefile{toc}{\contentsline {section}{\numberline {5.2}Featherweight Generic Java (FGJ)}{17}{section.27}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.1}Background}{17}{subsection.28}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.2}FGJ definitions}{17}{subsection.29}}
\citation{FGJ}
\@writefile{lot}{\contentsline {table}{\numberline {5.1}{\ignorespaces Syntax}}{18}{table.31}}
\@writefile{toc}{\contentsline {subsection}{\numberline {5.2.3}Syntax for FGJ}{18}{subsection.30}}
\@writefile{toc}{\contentsline {chapter}{\numberline {6}Extending FGJ with JavaPict}{19}{chapter.32}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {6.1}Introduction}{19}{section.33}}
\citation{FGJ}
\@writefile{lot}{\contentsline {table}{\numberline {6.1}{\ignorespaces Syntax for FGJP}}{22}{table.35}}
\@writefile{toc}{\contentsline {section}{\numberline {6.2}Syntax}{22}{section.34}}
\@writefile{toc}{\contentsline {section}{\numberline {6.3}Auxiliary Functions}{23}{section.36}}
\@writefile{toc}{\contentsline {section}{\numberline {6.4}Subtyping and Well-formedness}{23}{section.38}}
\@writefile{lot}{\contentsline {table}{\numberline {6.2}{\ignorespaces Auxiliary functions}}{24}{table.37}}
\@writefile{lot}{\contentsline {table}{\numberline {6.3}{\ignorespaces FGJP: Subtyping and well-formedness}}{25}{table.39}}
\@writefile{toc}{\contentsline {section}{\numberline {6.5}Typing}{26}{section.40}}
\@writefile{lot}{\contentsline {table}{\numberline {6.4}{\ignorespaces FGJP:Typing}}{27}{table.41}}
\@writefile{toc}{\contentsline {section}{\numberline {6.6}Reduction}{28}{section.42}}
\@writefile{lot}{\contentsline {table}{\numberline {6.5}{\ignorespaces FGJP:Reduction}}{29}{table.43}}
\citation{pict}
\citation{deuce}
\citation{FGJ}
\@writefile{toc}{\contentsline {chapter}{\numberline {7}Conclusion and Future Work}{31}{chapter.44}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\bibstyle{plain}
\bibdata{javapi}
\bibcite{jdpi}{{1}{}{{}}{{}}}
\bibcite{spimSite}{{2}{}{{}}{{}}}
\bibcite{spiCalculus}{{3}{}{{}}{{}}}
\bibcite{JVM}{{4}{}{{}}{{}}}
\bibcite{Barendregt}{{5}{}{{}}{{}}}
\bibcite{appliedPi}{{6}{}{{}}{{}}}
\bibcite{pilib}{{7}{}{{}}{{}}}
\bibcite{biosimulation_appliedpi}{{8}{}{{}}{{}}}
\bibcite{stm_intro}{{9}{}{{}}{{}}}
\bibcite{auctionFree}{{10}{}{{}}{{}}}
\bibcite{JavaTypeSoundness}{{11}{}{{}}{{}}}
\bibcite{deuce}{{12}{}{{}}{{}}}
\bibcite{inria}{{13}{}{{}}{{}}}
\bibcite{probabilistic_appliedpi}{{14}{}{{}}{{}}}
\bibcite{stm}{{15}{}{{}}{{}}}
\bibcite{distPi}{{16}{}{{}}{{}}}
\bibcite{csp}{{17}{}{{}}{{}}}
\bibcite{FGJ}{{18}{}{{}}{{}}}
\bibcite{javapi}{{19}{}{{}}{{}}}
\bibcite{Jones}{{20}{}{{}}{{}}}
\bibcite{spim_concurrent}{{21}{}{{}}{{}}}
\bibcite{spim}{{22}{}{{}}{{}}}
\bibcite{Milner_CCS_BOOK}{{23}{}{{}}{{}}}
\bibcite{Milner_book}{{24}{}{{}}{{}}}
\bibcite{Escrow}{{25}{}{{}}{{}}}
\bibcite{javalight}{{26}{}{{}}{{}}}
\bibcite{embedded}{{27}{}{{}}{{}}}
\bibcite{stochastic_graph}{{28}{}{{}}{{}}}
\bibcite{biology}{{29}{}{{}}{{}}}
\bibcite{pict}{{30}{}{{}}{{}}}
\bibcite{stochastic_dynamic}{{31}{}{{}}{{}}}
\bibcite{bookMobileProcesses}{{32}{}{{}}{{}}}
\bibcite{typedConcurrentObjects}{{33}{}{{}}{{}}}
\@writefile{toc}{\contentsline {chapter}{Bibliography}{37}{chapter*.45}}
\citation{FGJ}
\@writefile{toc}{\contentsline {chapter}{\numberline {A}FGJP Type Safety}{38}{appendix.46}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@writefile{toc}{\contentsline {section}{\numberline {A.1}Proof of Theorem 6.6.1}{38}{section.47}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.1}Weakening}{38}{subsection.48}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.2}Inheritance transitivity}{39}{subsection.49}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.3}Downcast property}{39}{subsection.50}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.4}Downcast inequality}{39}{subsection.51}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.5}Type substitution preserves subtyping}{39}{subsection.52}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.6}Type substitution preserves well-formedness}{40}{subsection.53}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.7}Bound property}{40}{subsection.54}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.8}Fields of superclass are retained}{41}{subsection.55}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.9}Method overriding}{41}{subsection.56}}
\@writefile{toc}{\contentsline {subsection}{\numberline {A.1.10}Type substitution preserves Typing}{42}{subsection.57}}
\@writefile{toc}{\contentsline {section}{\numberline {A.2}Term substitution preserves Typing}{42}{section.58}}
\@writefile{toc}{\contentsline {section}{\numberline {A.3}Type substitution preserves method subtyping}{43}{section.59}}
\providecommand\NAT@force@numbers{}\NAT@force@numbers
